#!/bin/sh

${srcdir}/check.sh 3 13 d10_30

